Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
991	Statecharts: Some Critical Observations Michael Breen last updated[removed]Abstract Add to Reading List Source URL: mbreen.com Language: English - Date: 2012-02-22 06:55:47 Digital electronics Theoretical computer science Diagrams Mathematics State diagram Finite-state machine Computer science Stopwatch Orthogonality Models of computation UML diagrams Automata theory
992	On Abstraction in Finite State Machine Models Michael Breen 12 September[removed]Draft) Abstract Information hiding is a long established principle in software engineering. However, in the context of finite state machines Add to Reading List Source URL: mbreen.com Language: English - Date: 2012-02-22 06:55:47 Science Infographics Information science Software engineering Automata theory Finite-state machine Structured analysis State diagram Data flow diagram Models of computation Diagrams Data management
993	Mastering Python Regular Expressions Félix López Víctor Romero Add to Reading List Source URL: www.packtpub.com Language: English Regular expressions Pattern matching Automata theory Python TRE Control flow Conditional C Computing Computer programming Software engineering
994	SDL Game Development Shaun Ross Mitchell Chapter No. 5 "Handling Game States" Add to Reading List Source URL: www.packtpub.com Language: English C++ Automata theory Finite-state machine Objective-C Software engineering Object-oriented programming Computer programming
995	Investigations on Search Methods for Speech Recognition using Weighted Finite-State Transducers Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH A ACHEN U NIVERSITY Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English Automata theory Finite state transducer
996	DOI: [removed]auom[removed]An. S ¸ t. Univ. Ovidius Constant ¸a Vol. 22(1),2014, 247–255 Add to Reading List Source URL: idsi.md Language: English - Date: 2014-04-16 02:01:00 Symbol Constructible universe Ordinal number Model theory Forcing Automata theory Curry–Howard correspondence Spectral theory of ordinary differential equations Mathematical logic Mathematics Logic
997	Lecture notes on automata, languages, and grammars Cristopher Moore January 11, 2013 Abstract These lecture notes are intended as a supplement to Moore and Mertens’ The Nature of Computation, and are available to anyon Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-01-11 13:28:25 Applied mathematics Nondeterministic finite automaton Myhill–Nerode theorem DFA minimization Regular language Deterministic finite automaton Regular expression Finite-state machine Powerset construction Automata theory Theoretical computer science Computer science
998	Implementing Regular Expressions CS 121 Extra Lecture November 17, 2000 Note: These slides were used for a supplemental lecture in Harvard’s introductory theory of computation course. The topic of the lecture was imple Add to Reading List Source URL: swtch.com Language: English - Date: 2007-01-27 19:42:28 Mathematics Applied mathematics Combinatorics Pattern matching Regular expression IBM Algorithm Regular language MIX Formal languages Automata theory Theoretical computer science
999	RISK SHARING AND MARKET INCOMPLETENESS DAVID K. LEVINE AND WILLIAM R. ZAME DEPARTMENT OF ECONOMICS, UCLA A BSTRACT. This version fixes several errors in the published version. We are grateful to Fernando Alvarez and Feli Add to Reading List Source URL: www.dklevine.com Language: English - Date: 2003-07-14 12:15:34 Equations Forward contract Incomplete markets Automata theory
1000	1 Abstract. Recent advances in parallel model checking for liveness properties achieve significant capacity increases over sequential model checkers. However, the capacity of parallel model checkers is in turn limited b Add to Reading List Source URL: people.cs.clemson.edu Language: English - Date: 2013-08-14 13:37:54 Formal methods Applied mathematics Model checking Animal communication Neuroethology Waggle dance Random walk SPIN model checker Linear temporal logic Automata theory Mathematics Models of computation

UPDATE